Search results for "Universal Algebra"

showing 10 items of 93 documents

Periodic Controls in Step 2 Strictly Convex Sub-Finsler Problems

2020

We consider control-linear left-invariant time-optimal problems on step 2 Carnot groups with a strictly convex set of control parameters (in particular, sub-Finsler problems). We describe all Casimirs linear in momenta on the dual of the Lie algebra. In the case of rank 3 Lie groups we describe the symplectic foliation on the dual of the Lie algebra. On this basis we show that extremal controls are either constant or periodic. Some related results for other Carnot groups are presented. peerReviewed

0209 industrial biotechnologyPure mathematicsRank (linear algebra)variaatiolaskenta02 engineering and technology01 natural sciencesdifferentiaaligeometriaoptimal controlsymbols.namesake020901 industrial engineering & automationMathematics (miscellaneous)sub-Finsler geometryPontryagin maximum principleLie algebra0101 mathematicsMathematicsLie groups010102 general mathematicsLie groupBasis (universal algebra)matemaattinen optimointiFoliationsäätöteoriasymbolsCarnot cycleConvex functionSymplectic geometryRegular and Chaotic Dynamics
researchProduct

Varieties of algebras with pseudoinvolution and polynomial growth

2017

Let A be an associative algebra with pseudoinvolution (Formula presented.) over an algebraically closed field of characteristic zero and let (Formula presented.) be its sequence of (Formula presented.) -codimensions. We shall prove that such a sequence is polynomially bounded if and only if the variety generated by A does not contain five explicitly described algebras with pseudoinvolution. As a consequence, we shall classify the varieties of algebras with pseudoinvolution of almost polynomial growth, i.e. varieties of exponential growth such that any proper subvariety has polynomial growth and, along the way, we shall give also the classification of their subvarieties. Finally, we shall de…

16R50; 16W50; growth; Polynomial identity; Primary: 16R10; pseudoinvolution; Secondary: 16W10Linear function (calculus)PolynomialPure mathematicspseudoinvolutionAlgebra and Number TheorySubvariety16R50growth010102 general mathematicsPolynomial identity pseudo involution codimension growthZero (complex analysis)010103 numerical & computational mathematicsPolynomial identity01 natural sciencesPrimary: 16R10Settore MAT/02 - AlgebraBounded functionAssociative algebra0101 mathematicsAlgebraically closed fieldVariety (universal algebra)16W50Secondary: 16W10MathematicsLinear and Multilinear Algebra
researchProduct

Varieties with at most cubic growth

2019

Abstract Let V be a variety of non necessarily associative algebras over a field of characteristic zero. The growth of V is determined by the asymptotic behavior of the sequence of codimensions c n ( V ) , n = 1 , 2 , … , and here we study varieties of polynomial growth. We classify all possible growth of varieties V of algebras satisfying the identity x ( y z ) ≡ 0 such that c n ( V ) C n α , with 1 ≤ α 3 , for some constant C. We prove that if 1 ≤ α 2 then c n ( V ) ≤ C 1 n , and if 2 ≤ α 3 , then c n ( V ) ≤ C 2 n 2 , for some constants C 1 , C 2 .

Algebra and Number TheoryVarietie010102 general mathematicsZero (complex analysis)Field (mathematics)01 natural sciencesCombinatoricsIdentity (mathematics)Settore MAT/02 - Algebra0103 physical sciences010307 mathematical physics0101 mathematicsVariety (universal algebra)Codimension growthMathematics
researchProduct

Quasi-Projective Varieties

2000

We have developed the theory of affine and projective varieties separately. We now introduce the concept of a quasi-projective variety, a term that encompasses both cases. More than just a convenience, the notion of a quasi-projective variety will eventually allow us to think of an algebraic variety as an intrinsically defined geometric object, free from any particular embedding in affine or projective space.

AlgebraComputer scienceAffine spaceEmbeddingProjective spaceAlgebraic varietyAffine transformationVariety (universal algebra)Projective testProjective variety
researchProduct

The History of Algebra in Mathematics Education

2006

In this chapter, we analyse key issues in algebra history from which some lessons can be extracted for the future of the teaching and learning of algebra. A comparative analysis of two types of pre-Vietan languages (before 16th century), and of the corresponding methods to solve problems, leads to conjecture the presence of didactic obstacles of an epistemological origin in the transition from arithmetic to algebraic thinking. This illustrates the value of historic and critical analysis for basic research design in mathematics education. Analysing the interrelationship between different evolution stages of the sign system of symbolic algebra and vernacular language supports the inference th…

AlgebraConjectureMathematics educationPre-algebraBasis (universal algebra)Algebraic numberSymbolic computationValue (semiotics)Sign systemNatural languageMathematics
researchProduct

An Overview on Algebraic Structures

2016

This chapter recaps and formalizes concepts used in the previous sections of this book. Furthermore, this chapter reorganizes and describes in depth the topics mentioned at the end of Chap. 1, i.e. a formal characterization of the abstract algebraic structures and their hierarchy. This chapter is thus a revisited summary of concepts previously introduced and used and provides the mathematical basis for the following chapters.

AlgebraEquivalence class (music)Ring theoryHierarchy (mathematics)Algebraic structureEquivalence relationBasis (universal algebra)Commutative ringCharacterization (mathematics)Mathematics
researchProduct

On the group of the automorphisms of some algebraic systems

1968

Within a framework of general algebra we firstly formulate a proposition on the group of the automorphisms of some irreducible algebrae (id est algebrae without proper non trivial subalgebrae). This proposition includes as particular cases the uniqueness of the automorphisms of the rational field and the Burnside theorem on the commutant of an irreducible set of operators of a finite dimensional vector space over an algebraically closed field. Afterwards we apply the general proposition to modules with irreducible sets of semilinear operators and we obtain a theorem which generalises from several points of view the Burnside theorem. Finally we derive as an application a proposition which sp…

AlgebraGeneral MathematicsUniversal algebraAlgebraic geometryAlgebraic numberAlgebraically closed fieldQuaternionAutomorphismBurnside theoremMathematicsVector spaceANNALI DELL UNIVERSITA DI FERRARA
researchProduct

On P-compatible hybrid identities and hyperidentities

1994

P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.

AlgebraMathematical logicSet (abstract data type)Structure (mathematical logic)History and Philosophy of ScienceLogicVariety (universal algebra)Computational linguisticsMathematicsStudia Logica
researchProduct

Topological systems and Artin glueing

2012

Abstract Using methods of categorical fuzzy topology, the paper shows a relation between topological systems of S. Vickers and Artin glueing of M. Artin. Inspired by the problem of interrelations between algebra and topology, we show the necessary and sufficient conditions for the category, obtained by Artin glueing along an adjoint functor, to be (co)algebraic and (co)monadic, incorporating the respective result of G. Wraith. As a result, we confirm the algebraic nature of the category of topological systems, showing that it is monadic.

Artin approximation theoremClosed categoryAlgebraic structureMathematics::Category TheoryGeneral MathematicsConcrete categoryCategory of topological spacesVariety (universal algebra)TopologyEnriched categoryConductorMathematicsMathematica Slovaca
researchProduct

Automorphism Groups of Certain Rational Hypersurfaces in Complex Four-Space

2014

The Russell cubic is a smooth contractible affine complex threefold which is not isomorphic to affine three-space. In previous articles, we discussed the structure of the automorphism group of this variety. Here we review some consequences of this structure and generalize some results to other hypersurfaces which arise as deformations of Koras–Russell threefolds.

Automorphism groupPure mathematics010102 general mathematicsStructure (category theory)Space (mathematics)Automorphism01 natural sciencesContractible spaceAlgebraMathematics::Algebraic GeometryAffine representation0103 physical sciencesAstrophysics::Solar and Stellar Astrophysics010307 mathematical physicsAffine transformation0101 mathematicsVariety (universal algebra)Mathematics
researchProduct